workspacesView: Remove spacing

It's not used in the theme and it complicates the layout code a bit
too much; in fact, if set, things start breaking.

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 6ac7450cc3a62144cf16c8f615fe30f980fc0f12..d364de6f9e6263ac769235b90b4d009a8eb770bd 100644 (file)
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -48,17 +48,9 @@ const WorkspacesView = new Lang.Class({
 
         this.actor.connect('destroy', Lang.bind(this, this._onDestroy));
 
-        this.actor.connect('style-changed', Lang.bind(this,
-            function() {
-                let node = this.actor.get_theme_node();
-                this._spacing = node.get_length('spacing');
-                this._updateWorkspaceActors(false);
-            }));
-
         this._fullGeometry = null;
         this._actualGeometry = null;
 
-        this._spacing = 0;
         this._animating = false; // tweening
         this._scrolling = false; // swipe-scrolling
         this._animatingScroll = false; // programatically updating the adjustment
@@ -216,7 +208,7 @@ const WorkspacesView = new Lang.Class({
 
             Tweener.removeTweens(workspace.actor);
 
-            let y = (w - active) * (this._fullGeometry.height + this._spacing);
+            let y = (w - active) * this._fullGeometry.height;
 
             if (showAnimation) {
                 let params = { y: y,